- many-model theory
- мат.многомодельная теория
English-Russian scientific dictionary. 2008.
English-Russian scientific dictionary. 2008.
Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… … Wikipedia
model theory — The use of a model to test for the consistency of an axiomatized system is older than modern logic. Descartes s algebraic interpretation of Euclidean geometry provides a way of showing that if the theory of real numbers is consistent, so is the… … Philosophy dictionary
Finite model theory — is a subfield of model theory that focuses on properties of logical languages, such as first order logic, over finite structures, such as finite groups, graphs, databases, and most abstract machines. It focuses in particular on connections… … Wikipedia
Actor model theory — In theoretical computer science, Actor model theory concerns theoretical issues for the Actor model.Actors are the primitives that form the basis of the Actor model of concurrent digital computation. In response to a message that it receives, an… … Wikipedia
Conceptual Model Theory — The Conceptual Model Theory of Human Understanding is a historically distinct theory of knowledge that is the first foundational epistemological theory to be validated by commercial artificial intelligence use (see… … Wikipedia
Interpretation (model theory) — In model theory, interpretation of a structure M in another structure N (typically of a different signature) is a technical notion that approximates the idea of representing M inside N . For example every reduct or definitional expansion of a… … Wikipedia
Pregeometry (model theory) — Pregeometry, and in full combinatorial pregeometry, are essentially synonyms for matroid . They were introduced by G. C. Rota with the intention of providing a less ineffably cacaphonous alternative term. Also, the term combinatorial geometry,… … Wikipedia
Theory — The word theory has many distinct meanings in different fields of knowledge, depending on their methodologies and the context of discussion.In science a theory is a testable model of the manner of interaction of a set of natural phenomena,… … Wikipedia
Many-worlds interpretation — The quantum mechanical Schrödinger s cat paradox according to the many worlds interpretation. In this interpretation every event is a branch point; the cat is both alive and dead, even before the box is opened, but the alive and dead cats are in… … Wikipedia
Theory (mathematical logic) — This article is about theories in a formal language, as studied in mathematical logic. For other uses, see Theory (disambiguation). In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. Usually… … Wikipedia
Model complete theory — In model theory, a first order theory is called model complete if every embedding of models is an elementary embedding. Equivalently, every first order formula is equivalent to a universal formula. This notion was introduced by Abraham Robinson.… … Wikipedia